321. Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computational complexity-- Congresses,، Mathematics-- Congresses
Classification :
QA
267
.
7
.
F43
1990
322. Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
Author: / Samuel R. Buss, Philip J. Scott, editors
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computational complexity - Congresses,Mathematics - Congresses
Classification :
QA267
.
7
.
F43
1990
323. Feasible mathematics : a mathematical sciences Institute Workshop, Ithaca, New York, June 1989
Author: Samuel R. Buss, Philop J. Scott, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Mathematics
Classification :
QA
267
.
7
.
F43
1990
324. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
325. Fluid transport in nanoporous materials
Author: / edited by Wm. Curtis Conner and Jacques Fraissard
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Porous materials , Fluid dynamics , Congresses,Fluid transport,Nanoporous materials
Classification :
E-BOOK
326. Formal Concept Analysis:
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
327. Formal Concept Analysis :
Author: Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
I58
2019eb
328. Formal Concept Analysis
Author: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
9
.
F67
2015
E-Book
,
329. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
330. Formal concept analysis :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
331. Formal concept analysis
Author: / Petko Valtchev, Robert Jeaschke (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
Classification :
E-BOOK
332. Formal concept analysis
Author: Petko Valtchev, Robert Jeaschke (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
Classification :
QA
،
171
.
5
،.
I55
،
2011
333. Formal concept analysis :
Author: Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses -- Mathematics.,Data mining -- Congresses.,Mathematical analysis -- Congresses.
Classification :
QA76
.
9
.
M35
F567
2012
334. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
335. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
336. Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
Author: Alan J. Hu, Andrew K. Martin )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
Classification :
QA
76
.
L28
Vol
.
3312
337. Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings
Author: Mark D. Aagaard, John W. O'Leary )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
Classification :
QA
76
.
L28
Vol
.
2517
338. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
339. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
Author: Internatinal FCT-confernce, Borgholm, Sweden, 3891
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
Classification :
QA
9
.
6
.
I57
1983
340. Foundations of computational mathematics : selected papers of a...
Author: / Felipe Cucker, Michael Shub (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Numerical analysis - Congresses,Computer science - Congresses
Classification :
QA297
.
F635
